Logic Control - PDFSEARCH.IO - Document Search Engine

Logic Control
Results: 840

#	Item
121	Control Systems Understanding Input and Output Modules The primary reason for using I/O modules is to interface 5VDC logic signals from an indexer to switches and relays on the factory floor, which typically run on volta Add to Reading List Source URL: www.parkermotion.com Language: English - Date: 1996-01-26 02:12:06 Electronics Serial port Parallel communication Electronic engineering Electronic circuits Universal asynchronous receiver/transmitter UEXT Data transmission Computing RS-232
122	BRICS Basic Research in Computer Science BRICS RSKim et al.: Assessing the Overhead of ML Exceptions Assessing the Overhead of ML Exceptions Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-09-17 06:37:55 Functional programming Control flow Functional languages Procedural programming languages Logic in computer science Continuation-passing style Standard ML Continuation Exception handling Software engineering Computing Computer programming
123	facilities & infrastructure Fast-Time Simulation of Airports and Airspace Air Transport Division Add to Reading List Source URL: www.nlr.nl Language: English - Date: 2014-11-05 09:27:14 Simulation Logic simulation Transport Spaceflight National Aerospace Laboratory Electronic engineering Air traffic control
124	Hospitality Management Competition AEHT ConferenceEVALUATION SHEET - FOR JURY The teams are judged on the basis of the originality and creativity, the logic between the concept and the proposed target, the creati Add to Reading List Source URL: www.aeht.eu Language: English - Date: 2015-02-27 06:51:42 Hazard analysis and critical control points Process management Creativity Team Psychology Mind Cognitive science Food and Drug Administration Food safety Hazard analysis
125	1/ Toccata Toccata Deductive Verification, Certified Tools and Numerical Computations Add to Reading List Source URL: vals.lri.fr Language: English - Date: 2015-05-21 04:16:07 Formal methods Functional languages Logic in computer science Theoretical computer science Automated theorem proving Formal verification SIGNAL Coq National Institute for Research in Computer Science and Control Computing Software engineering Software
126	1 Yosys Application Note 010: Converting Verilog to BLIF Clifford Wolf November 2013 Add to Reading List Source URL: www.clifford.at Language: English - Date: 2015-02-09 07:25:25 Digital electronics Logic design Verilog Logic synthesis Field-programmable gate array High-level synthesis Finite-state machine VHDL AS/400 Control Language Electronic engineering Hardware description languages Electronic design automation
127	Efficient Concurrency-Bug Detection Across Inputs Dongdong Deng Wei Zhang Shan Lu Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2013-08-04 18:25:14 Computing Theoretical computer science Computer programming Logic in computer science Software testing Linearizability Race condition Atomicity Lock Software bugs Transaction processing Concurrency control
128	\| Do NOT Afﬁx Student ID Label Here A Student Name Add to Reading List Source URL: parcc.pearson.com Language: English - Date: 2015-01-23 16:15:03 Fuzzy logic Envelope Heat equation Control theory State space Differential geometry
129	Production-Run Software Failure Diagnosis via Hardware Performance Counters Joy Arulraj Po-Chun Chang Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2013-01-24 18:43:34 Central processing unit Software optimization Predicate logic Predicate Parallel computing Hardware performance counter Lock Software bug Profiling Computing Computer programming Concurrency control
130	A Bayesian approach to network modularity • Generative model: die rolling for module assignments, coin-flipping for edges • Inference: variational Bayes for approximations to posteriors + complexity control • Stoch Add to Reading List Source URL: www.jakehofman.com Language: English - Date: 2009-01-22 17:20:55 Logic Network theory Modularity Conference on Neural Information Processing Systems Inference Variational Bayesian methods Bayesian statistics Knowledge Science

UPDATE